/*
	HTML Plugin
*/
HTMLEdManager.register_plugin ( "html", 
{
	actions : [
			[ "show_html", function ( doc, editor ) { editor.show_html (); }, "show_html" ]
	]
} );

